Buy Used and New Peter Schroeder-Heister Books

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)

by Reinhard Kahle,Peter Schroeder-Heister,Robert St??rk

ISBN 13: 9783540427520

Format: Paperback (256 pages)
Publisher: Springer
Published: 28 Sep 2001

Save for later

Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.: 1050 (Lecture Notes in Computer Science)

by Heinrich Herre,Peter Schroeder-Heister,Roy Dyckhoff

ISBN 13: 9783540609834

Format: Paperback (332 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings: 596 (Lecture Notes in Computer Science)

by Peter Schroeder-Heister,Lars-Henrik Eriksson,Lars Halln??s

ISBN 13: 9783540554981

Format: Paperback (384 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Advances in Proof-Theoretic Semantics: 43 (Trends in Logic)

by Thomas Piecha,Peter Schroeder-Heister

ISBN 13: 9783319367811

Format: Paperback (292 pages)
Publisher: Springer
Published: 23 Aug 2016

Save for later

The Logical Writings of Karl Popper: 58 (Trends in Logic, 58)

by David Binder,Thomas Piecha,Peter Schroeder-Heister

ISBN 13: 9783030949259

Format: Hardcover (576 pages)
Publisher: Springer
Published: 20 Aug 2022

Save for later